Electronic Books

Total Books: 21 - 40 /104

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Computer Safety, Reliability, and Security

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...

Coordination Models and Languages :22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...

Data Management Technologies and Applications : 8th International Conference, DATA 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Data Management Technologies ...

Database and Expert Systems Applications

This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database ...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...

Design, User Experience, and Usability. Interaction Design : 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, ...

Developing Services for the Wireless Internet

This book is for developers of wireless Internet services. It addresses the technical issues that can get in the way of the ...

Distributed Applications and Interoperable Systems (vol. # 3543)

ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable ...

ECOOP 2002 - Object-Oriented Programming

Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...

ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, ...

Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Engineering Theories of Software Intensive Systems

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded ...

Essential Software Architecture

Job titles like "Technical Architect" and "Chief Architect" nowadays abound in the software industry, yet many people ...

Euro-Par 2019: Parallel Processing Workshops

Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These ...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...

Total Books: 21 - 40 /104